Feeds to Scour
SubscribedAll
Scoured 19127 posts in 196.8 ms
Main Content || Math ∩ Programming
jeremykun.com·21m
🧮Kolmogorov Complexity
Differential Logic • 4
inquiryintoinquiry.com·9h
⚔️Lean Theorem
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org·2d
✨Effect Handlers
Recursive Deductive Verification: A framework for reducing AI hallucinations
news.ycombinator.com·9h·
Discuss: Hacker News
⚖️Hoare Logic
The Return of Algol 68
jxself.org·2h
🦀Rust Borrowing
How I Built My Project in Haskell
dev.to·22h·
Discuss: DEV
🔗Functional Compilers
Antiparallels, an Overlooked HS Beauty
pballew.blogspot.com·15h·
Discuss: Blogger
📐Mathematical Art
Fibonacci numbers and time-space tradeoffs
johndcook.com·9h
📐Interval Arithmetic
Railway Oriented Programming
fsharpforfunandprofit.com·2d·
Discuss: Hacker News
🐚Shell Monads
Oatmeal - Constraint propagation for fun
eli.li·19h·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
outer measure in nLab
ncatlab.org·4d
🔢Denotational Semantics
Let Lambda Come Over
yamlscript.org·1d
⬆️Lambda Lifting
[2309.11300] Partial monoid actions on objects in categories with pullbacks and their globalizations
arxiv.org·3d
🔀Category Theory
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·1d
🦀Rust Macros
★ Claude Code: /insights
perrotta.dev·8h
⚡Proof Automation
Build a Compiler in Five Projects
kmicinski.com·1d
🔨Compilers
Whether they are building agents or folding proteins, LLMs need a friend
theregister.com·1d
💻Local LLMs
What Bleeds Through
futurisold.github.io·7h·
Discuss: Hacker News
🧪Binary Fuzzing
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·1d
📝Concrete Syntax
V.I. Arnold, On teaching mathematics
karlin.mff.cuni.cz·1d·
Discuss: Hacker News
📐Mathematical Art

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help